<!DOCTYPE html>

<!--
  ~ Copyright 2016 Red Hat, Inc. and/or its affiliates.
  ~
  ~ Licensed under the Apache License, Version 2.0 (the "License");
  ~ you may not use this file except in compliance with the License.
  ~ You may obtain a copy of the License at
  ~
  ~      http://www.apache.org/licenses/LICENSE-2.0
  ~
  ~ Unless required by applicable law or agreed to in writing, software
  ~ distributed under the License is distributed on an "AS IS" BASIS,
  ~ WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  ~ See the License for the specific language governing permissions and
  ~ limitations under the License.
  -->

<div class="well">

  <style scoped>
    .documents-container {
      width: 100%;
      height: 200px;
      overflow: auto;
      border: solid 1px #ddd;
      padding: 5px 5px 5px 5px;
      background-color: rgb(255, 255, 255);
    }

  </style>


  <span data-i18n-key="SelectDocument">Select a document to open in the editor.</span>

  <div id="documents-container" class="documents-container">


  </div>
</div>
